deduction theorem
[dɪˈdʌkʃən ˈθi:ərəm]
[网络] 演绎定理
[网络] 演绎定理
热门查询
- itemise vt. 列出清单
- recharged vt. 再充电；再袭击；再控告 n. 再袭击；再装填 vi. 再袭击
- sulfuric adj. 硫磺的；含多量硫磺的；含（六价）硫的
- discounter n. 折扣商店；廉价商店
- psycho n. 心理分析，精神分析；精神病患者 adj. 精神病的；精神病学的
- unforeseen adj. 未预见到的，无法预料的
- cast-off n. 遗弃的东西；[印刷] 版面计算 adj. 遭遗弃的；丢失的
- stowaway n. 匿身处；偷渡者
- salubrious adj. 清爽的；气候有益健康的
- explicable adj. 可解释的，可说明的
- space station n. 太空站；航天站；宇宙空间站 [网络] 国际空间站；空间电台；宇宙站
- Ireland n. 爱尔兰
- endomorph n. 内容矿物；胖型体质
- fluidly 流动地 不定地 液体地 流畅地
- Ricardo 里卡多(姓氏)
- iota n. 极微小；希腊语的第九个字母 n. (Iota)人名；(日)庵田 (姓)；(希、罗)约塔
- Uzbek n. 乌兹别克语；乌兹别克人；乌兹别克族 adj. 乌兹别克族的；乌兹别克人的；乌兹别克语的
- Lagos n. 拉各斯（尼日利亚的首都）
- cognitional adj. 认识上的
- gruffly adv. 粗暴地；粗声地；生硬地
